BENEFITS: Very-fine analysis of C programs. Early detection of subtle defects.

KEY FEATURES: Thorough analysis of C code. User-selectable message suppression.

APPLICATIONS: Development testing. Unit-testing. QA Inspection.

TestWorks INDEX VALUE: +60 Points for >50% Application.

STATIC, a static analyzer system, stands alone or works as part of TestWorks' fully integrated TestWorks/Advisor suite of static source code analyers and measurement tools. STATIC provides a more comprehensive syntax and semantic analysis for C programs than most compilers, including locating non-portable constructs and dead code.

The C programming language is often the source of obscure bugs and unreliable software. Unfortunately, many of these bugs may be accepted as legal C by compilers.

Besides locating non-portable constructs, STATIC also searches the entire program for inconsistencies across the modules that comprise an application. This feature is especially important when analyzing source code in multi-programmer projects. STATIC allows programmers to decide on the degree of checking necessary and focus on a single types of error(s).

STATIC processes a source code file, in one or multiple files, and generates a report covering more than 300 possible syntactical, warning and informational messages. The report can be easily customized to fit an organization's unique programming styles with the following options:

1. Control options enable and/or disable messages individually or in groups, by symbol name, or by type difference.
2. Flag options handle data types and syntax errors.
3. Size options set the sizes of various scalars (short, int) for a target machine.
4. Compiler options disregard nonstandard constructs.

Click Here for Screen Shots showing TestWorks Capabilities and Facilities.

Software Research, Inc. 625 Third Street San Francisco, CA 94107-1997 USA Phone: +1 (415) 957-1441 or +1 (800) 942-SOFT [USA Only] FAX: +1 (415) 957-0730 info@soft.com